-
1 abstract proof
Большой англо-русский и русско-английский словарь > abstract proof
-
2 abstract proof
Математика: абстрактное доказательство -
3 abstract proof
-
4 abstract proof
The New English-Russian Dictionary of Radio-electronics > abstract proof
-
5 abstract proof
-
6 abstract proof
Англо-русский словарь по исследованиям и ноу-хау > abstract proof
-
7 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
8 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
9 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
10 абстрактное доказательство
Большой англо-русский и русско-английский словарь > абстрактное доказательство
-
11 résumé
-
12 brief
-
13 resume
-
14 summary
-
15 scheme
1) схема || составлять схему2) план; замысел || планировать, замышлять•- composite sampling scheme - decisive scheme - double sampling scheme - singly connected scheme -
16 pure
1. n поэт. чистота2. n кож. шакша, собачий помёт3. a чистый; беспримесныйpure wool — чистая шерсть, шерсть 100%
4. a чистокровный; чистый5. a чистый, ясный, отчётливый6. a однородный7. a правильный, соответствующий определённым нормам, безупречный8. a теоретический; отвлечённый9. a неиспорченный, безупречный, превосходный10. a невинный, непорочный, целомудренный, чистый11. a правдивый, честный, бескорыстныйpure upright character — правдивый, честный
12. a чистейший, полнейшийpure nonsense — абсолютная чепуха; чистый вздор
13. a абсолютный, полнейший14. a церк. неосквернённый15. adv чисто; без примесей16. adv уст. диал. совершенно, совсем, абсолютно17. v уст. чистить, очищать18. v кож. обрабатывать шакшойСинонимический ряд:1. abstract (adj.) abstract; conceptual; theoretical2. chaste (adj.) celibate; chaste; clean; decent; guileless; guiltless; honest; immaculate; innocent; modest; nice; sanitary; sinless; spotless; stainless; true; unalloyed; unblemished; uncontaminated; uncorrupted; undefiled; unstained; unsullied; untainted; upright; virginal3. good (adj.) blameless; exemplary; good; inculpable; irreprehensible; irreproachable; lily-white; righteous; unblamable; virtuous4. homogeneous (adj.) faultless; genuine; homogeneous; perfect; simple; unmodified5. pedigreed (adj.) pedigreed; purebred; thoroughbred6. straight (adj.) full-strength; neat; plain; straight; unblended; undiluted; unmixed7. total (adj.) absolute; all-out; arrant; complete; consummate; downright; neat; out-and-out; outright; plain; pure and simple; sheer; straight; thorough; thoroughgoing; total; unadulterated; unbounded; undiluted; unequivocal; unmitigated; unmixed; unqualified; unrelieved8. utter (adj.) all-fired; black; blamed; blank; blankety-blank; blasted; bleeding; blessed; blighted; blinding; blithering; blue; confounded; crashing; dad-blamed; dad-blasted; dad-burned; damned; dang; darn; dashed; deuced; doggone; double-distilled; durn; utterАнтонимический ряд:coarse; corrupt; defiled; dirty; dissolute; filthy; foul; gross; immodest; impure; indecent; indelicate; libidinous; mixed; practical; tainted -
17 test
1. n испытание; проба, проверка; опробованиеfield test — полевое испытание; испытание в эксплуатационных условиях
bench test — заводские испытания, испытания в заводских условиях
test by experiment — проверка на опыте, опытная проверка
under test — испытываемый, испытуемый
test data — данные испытаний, эмпирические данные
2. n мерило, пробный камень; серьёзное испытание; критерийtrade test — профессиональные испытания, проверка мастерства
test dose — тест-доза, пробная, контрольная или опытная доза
3. n проверочная или контрольная работа; экзамен4. n психол. тестmarch test — тест "марш"
5. n хим. исследование; анализ; опыт, проба, реакцияblood test — анализ крови, исследование крови
6. n хим. пробирная чашка7. n хим. хим. реактив8. n хим. рел. отречение от признания папской власти и догмата пресуществления9. v подвергать испытанию; испытывать, проверять; опробоватьsampling test — выборочный контроль; периодические испытания
proof test — испытание; приёмочное или проверочное испытание
10. v быть мерилом11. v проверять, убеждатьсяhe wanted to test whether a small group of specialists could show greater productivity — он хотел проверить, сможет ли небольшая группа специалистов поднять производительность труда
12. v пробоваться13. v обнаруживать определённые свойства в результате испытаний14. v тестировать, проверять с помощью тестовtest program — тест; тестовая программа; программа испытаний
15. v экзаменовать; давать контрольную работу16. v хим. подвергать действию реактива17. v хим. производить опыты18. v хим. брать пробу19. n зоол. панцирь; щит; скорлупа20. v юр. официально подтверждатьСинонимический ряд:1. experimental (adj.) experimental; experimentative; trial2. comprehensive (noun) catechisation; catechism; comprehensive; exam; examination; final; questionnaire; quiz; review3. experiment (noun) experiment; experimentation4. standard (noun) benchmark; criterion; gauge; mark; measure; standard; touchstone; yardstick5. trial (noun) analysis; assay; check; essay; experiment; experimentation; inquest; inquiry; inspection; investigation; probation; proof; trial; trial and error; trial run6. analyze (verb) analyze; inspect; investigate; probe7. examine (verb) examine; question; quiz8. try (verb) analyse; assay; check; demonstrate; essay; experiment; inquire; prove; try; try out; verify -
18 AAA
1) Общая лексика: (Aaa) высшая степень надёжности, Объединённые художники Америки (организация профессиональных художников — живописцев, скульпторов и графиков) (сокр. от Allied Artists of America), Американо-австралийская ассоциация культурных связей (сокр. от American-Australian Association), Управление регулирования сельского хозяйства2) Компьютерная техника: Adequation Algorithm Architecture, Advanced Accelerator Applications, Algorithm Architecture Adequation, Automatic Artwork Alignment3) Авиация: Anti-Aicraft-Artillery, консультативный район аэропорта, консультативная зона аэропорта (сокр. от), Ассоциация антикварных аэропланов (США) (сокр. от Antique Airplane Association)4) Медицина: abdominal aortic aneurysm5) Американизм: прослушавший двухлетний курс по прикладному искусству (сокр. от Associate in Applied Arts)6) Спорт: Anglers Of All Abilities, Australian Anglers Association, Average Amateur Attempt, Атлетическая любительская ассоциация Англии и Уэльса (сокр. от Amateur Athletic Association of England and Wales)7) Военный термин: Access All Areas, Allied Airborne Army, Anarchy Armageddon Annihilation, Antiaircraft Association, Army Appropriation Account, Army Audit Agency, Authority Authorization Auditing, Authorization Accounting Activity, adviser on aircraft accidents, all American aviation, antiaircraft armament, antiaircraft artillery, approved as amended, awaiting aircraft availability9) Сельское хозяйство: Agricultural Adjustment Act, Animal Analysis Associates, aminoacetic acid, Американская ассоциация специалистов по разведению ангусской породы крупного рогатого скота (сокр. от American Angus Association)10) Шутливое выражение: Alcoholic Apes Anonymous, Always Add Acid, Anime Addicts Anonymous, Athlon Addicts Anonymous, Awful Agonizing And Aggravating11) Математика: Angle Angle Angle12) Юридический термин: Against All Authority, Ассоциация слушателей и бывших слушателей Гаагской академии международного права (сокр. от Association of Auditors and Former Auditors of the Hague Academy of International Law)13) Экономика: аналитическая и консультативная помощь (analytical and advisory assistance (World Bank terminology)), Ассоциация сельскохозяйственной авиации (США) (сокр. от Agricultural Aircraft Association)14) Бухгалтерия: Accumulated Adjustments Account, Association of Accounting Administrators, Американская ассоциация бухгалтеров (American Accounting Association), Бюджетно-контрольное управление (сокр. от Office of Accounting and Audit)15) Страхование: American Academy of Actuaries, American Agents Association, Association of Average Adjusters of the United States16) Ветеринария: Animal Agriculture Alliance17) Грубое выражение: Anal Ass Americans18) Испанский язык: Ассоциация артистов-любителей, Ассоциация художников-любителей (Asociación de Artistas Aficionados (Amateur Artists’ Association) (Перу))19) Музыка: Acoustic And A-capella, Adult Alternative Acoustic, Adult Alternative Album, Adult Alternative Albums, Американская ассоциация аккордеонистов (сокр. от American Accordionists Association)20) Сокращение: Actors and Artistes of America, Adaptive Antenna Array, Amateur Athletic Association, Amelioration de l'Autodefense Anti-missile (Ship self-defence programme (France)), American Academy of Advertising, American Airship Association, American Anthropological Association, American Association of Anatomists, American Automobile Association, Anti-Air Armament, Anti-Aircraft Artillery, Australian Army Aviation, Automated Airline Assignment, Agricultural Adjustment Administration, Army Aviation Association (Ассоциация армейской авиации (США)), Archives of American Art (наименование американского периодического издания по истории искусства), ACTH-Resistant Adrenal Insufficiency, Achalasia and Alacrima, AEGIS Acquisition Agent, ANSI Artists of America, AOES (Advanced Orbital Ephemeris System) Accuracy Assessment, ASP Application Aggregator, Academia de Automovilismo Andrade (Guatemala), Access All Areas (Sony music project), Access Approval Authority, Accountability and Assessment, Accumulated Adjustments Account (US Federal Income Tax), Accuview anti Aliasing, Aces of ANSI Art, Achalasia-Addisonianism-Alacrima (Syndrome), Acquisition Approval Authority, Action Awareness Alert, Action on Alcohol Abuse, Active Antenna Array, Acute Anxiety Attack, Adaptive Array Antenna, Addisonian-Achalasia Syndrome, Adjust for ASCII Addition (X86), Administration, Authorization, and Authentication (Software Security), Advanced Account Access, Advanced Acoustic Analysis, Advanced Acoustic Array, Advanced Adaptive Autopilot, Advanced Aircraft Analysis, Advanced Assault Amphibians, Aeiou's Alien Archeology (NASA explores), Aerospace Engineering, Applied Mechanics, and Aviation, African Action on AIDS, African Awareness Association, Against All Authority (gaming clan), Age Anaesthesia Association, Agricultural Adjustment Act of 1933, Agro-Action Allemande, Aiesec Alumni Association (CIS), Air Avenue of Approach, Airborne Array Aperture, Airborne Assault Area, Aircraft Alert Area, Airport Airspace Analysis, Alacrima-Achalasia-Addisonianism, Alacrima-Achalasia-Adrenal Insufficiency (neurologic disorder), Alaska Activities Adventures Plus Tours, Album Adult Alternative (radio format), Alianza Anticomunista Argentina (Argentinian paramilitary organization, 1970s), Alien Adoption Agency, Allgrove Syndrome, Alliance Against AIDS, Allocations, Assessments, and Analysis, Alpha Associates Alliance (Knoxville, Tennessee), Alstyle Apparel & Activewear (clothing), Alternate Assembly Area, Amateur Astronomers Association (New York City, NY), American Abstract Artists, American Academy of Addictionology, American Academy of Audiology, American Accordionists' Association, American Airlines Arena (Miami Florida), American Allergy Association, American Ambulance Association, American Andalusian Association, American Angus Association, American Armwrestling Association, American Association of Advertising Agencies, American Audit Associates, American Avalanche Association, Amino Acid Analysis, Amyloid of Aging and Alzheimer Disease, Analog/Analog/Analog (audio CD format, recording/mixing/mastering), Ancylostomiasis (endemic anaemia of ancient Egypt), Anesthesia Administration Assembly, Angels and Airwaves (band), Angle Angle Angle (geometric proof), Animal Acupuncture Academy, Animal Agriculture Alliance (veterinary), Animal-Assisted Activity, Annals of Archaeology and Anthropology, Anti-Acronym Abuse, Anti-Air Assist (gaming), Anti-Attack Aura (Star Ocean: Till the End of Time, game), Antiaircraft Antiarmor (Weapon), Anticipative Adaptive Array (frequency-hopping communications), Antique Airplane Association, Antique Automobile Association, Anygame Anytime Anyplace (gaming clan), Anything, Anytime, Anywhere, Aperture Antenna Analysis, Appraisers Association of America, Archaiologika Analekta Ex Athenon (Athens Annals of Archaeology), Area Advisory Authority, Area Agency on Aging, Ariana Afghan Airlines, Arkansas Activities Association (North Little Rock, Arkansas), Arkansas Aluminum Alloys, Inc (Hot Springs, Arkansas), Arkansas Ambulance Association, Armenian Assembly of America, Army Ammunition Activity, Aromatic Amino Acid, Ascii Adjust after Addition, Asian American Action (fund), Asian American Alliance, Asian American Association, Asian Awareness Association, Asistencia Asesoria y Administracion (Mexico wrestling), Asociacio'n Asperger Andaluci'a, Asociacio'n de Amigos en Accio'n (Guatemala), Asociacion Anticomunista Argentina, Asociacion Argentina de Actores, Aspen Achievement Academy, Assessment of Aircraft Attrition, Assign Alternate Area, Associac,a\AAAo dos Alcoo'licos Ano^nimos (Portuguese Alcoholics Anonymous Society), Associate of Applied Arts, Association Against Acronyms (Facebook group), Association Algerriene d'Alphabetisation, Association of Active Shareholders (France), Association of Avatar Artists, Astronaut-Actuated Abort, Athiest and Agnostic Association, Atlas of Ancient Archaeology, Attitude, Awareness and Accountability (ski safety program), Auburn Adventist Academy (Auburn, Washington, USA), Australian Archaeological Association Inc., Australian Association of Accountants, Australian Automobile Association, Austrian Automotive Association, Authentication, Authorization and Access, Authorized Accounting Activity, Automated Airlift Analysis, Automatic Anti-Aircraft (DOD), Autoridad de Acueductos y Alcantarillados (Aqueduct and Sewer Authority, Puerto Rico), Battery Size, Highest Level of League (minor league baseball), Triple antibiotic ointment (bacitracin, neomycin, polymixin), arrival and assembly area, Alive, Alert, Aggressive21) Университет: Academic Achievement And Advising, Academics, Athletics, and Arts, Arts Academics And Athletics, Atlantean Academic Archaeologist22) Физика: Advanced Applications Of Accelerators23) Хирургия: аминоуксусная кислота24) Иммунология: American Academy of Allergy25) Связь: Authentication, Authorization and Accounting26) Банковское дело: Американская арбитражная ассоциация (American Arbitration Association), Американская ассоциация ревизоров (American Accounting Association)27) Транспорт: Arrival Arrangements Agreements, Auckland Automobile Association28) Фирменный знак: Anthony's Adoption Agency, The Automobile Association Of America29) Экология: alternating aerobic-anaerobic30) СМИ: Adult Album Alternative31) Деловая лексика: Advanced Available And Affordable, Alter, Avoid, or Accept, Американская ассоциация ( страховых) оценщиков недвижимого имущества (сокр. от Appraisers Association of America), Австралийская ассоциация бухгалтеров (сокр. от Association of Accountants of Australia)32) Образование: Active Accelerated Academy, Awareness Action And Accountability33) Инвестиции: American Accounting Association, American Arbitration Association34) Сетевые технологии: опознавание пользователя, санкционирование доступа и бухгалтерский35) Полимеры: acetoacetanilide, amalgam, amino-acid-amide36) Безопасность: Accounting Authentication And Authorization, Authentication, Authorization, and Accountability37) Интернет: Authentication, Authorization, Accounting38) Расширение файла: App Cam Automation file, Xtal Backup file39) Общественная организация: Anti Aircraft Association, Arrowhead Accountability Association40) Должность: Asian Art Appreciation41) Чат: Awesome Awesome Awesome42) Аэропорты: Anaa, Tuamotu Islands43) Программное обеспечение: Automated Atlantis Assistants44) Федеральное бюро расследований: Army Security Agency -
19 tree
1) вчт древовидная схема; древовидный дешифратор2) дерево (напр. графа) || древовидный3) крист. дендрит•- tree of given weight
- tree of objectives
- tree of statements
- abstract syntax tree
- adaptive tree
- Adel'son-Vel'ski-Landis tree
- Aronshine tree
- AVL tree
- B-tree
- balanced tree
- bifurcation tree
- binary tree
- binary searchtree
- Boolean tree
- branching tree
- Cartesian tree
- Cayley tree
- choice tree
- classification tree
- classification and regression tree
- clock tree
- cluster tree
- co-tree
- code tree
- command tree
- complement tree
- complete code tree
- computation tree
- conference tree
- countable tree
- decision tree
- decomposition tree
- deduction tree
- derivation tree
- edge-rooted tree
- equipotential tree
- existence trie tree
- fault tree
- Feigenbaum tree
- Fibonacci tree
- finite tree
- fractal tree
- game tree
- generation tree
- graph tree
- hardware tree
- hierarchical tree
- homeomorphically irreducible tree
- Husimi tree
- hypothesis search tree
- inference tree
- information tree
- labeled tree
- language tree
- lexicographic tree
- loaded fractal tree
- logical tree
- minimal tree
- minimal length tree
- multibranch tree
- multiway tree
- normal tree
- optimal tree
- optimal merge tree
- optimal search tree
- ordered tree
- oriented tree
- outcome tree
- parse tree
- parsing tree
- patricia tree
- planar tree
- plane tree
- priority tree
- priority search tree
- probability tree
- production tree
- proper tree
- proof tree
- radix tree
- randomized binary tree
- RB tree
- recursive tree
- red-black tree
- response tree
- rooted tree
- search tree
- selection tree
- shortest tree
- shortest-distance tree
- signed tree
- spanning tree
- specific tree
- subject tree
- subspanning tree
- suffix tree
- symmetric tree
- syntax tree
- ternary tree
- ternary search tree
- threaded tree
- topological tree
- transition tree
- trie tree
- two-color tree
- two-dimensional tree
- two-level tree
- unlabeled tree
- weighted tree -
20 interface
1) интерфейс (в языках программирования - видимая пользователю, в отличие от реализации (implementation), часть описания (функции, модуля, класса), определяющая способ их использования)- interface of class
- module interface(соглашения, определяющие способ использования данного приложения другим приложением)- host adapter interface
- narrow interface
- object interface
- open datalink interface
- personalized interface
- screen interface
- server interface(предоставляемая пользователю система окон, меню и других элементов управления, позволяющая общаться с данным приложением)Syn:4) (аппаратный) интерфейс (устройство сопряжения; сопряжение; средства сопряжения)5) сопряжение; согласование || сопрягать; согласовывать6) граница между двумя системами или приборами; место стыковки•- adaptive interface
- analog interface
- assistive user interface
- attachment-unit interface
- buffered interface
- bus interface
- bussed interface
- cable interface
- channel interface
- command-driven interface
- command-rich interface
- common user interface
- communications interface
- computer graphics interface
- computer-process interface
- contact interface
- cryptic interface
- current loop interface
- data interface
- diagnose interface
- direct interface
- DMA interface
- dummy-proof interface
- expert-friendly interface
- external interface
- file-based interface
- flexible interface
- gateway/network interface
- general-purpose interface
- general interface
- general-system interface
- graphical interface
- graphic interface
- graphical user interface
- graphic user interface
- hardware interface
- host interface
- human interface
- human-computer interface
- human-engineered interface
- human-machine interface
- hybrid interface
- I/O interface
- input-output interface
- intelligent interface
- intergateway interface
- interlevel interface
- invocation interface
- knowledgebase interface
- language interface
- loosely-coupled interface
- machine-machine interface
- man-machine interface
- master-slave interface
- memory interface
- menu-based interface
- menu-driven interface
- mouse interface
- multimedia interface
- natural interface
- natural language interface
- network interface
- NL interface
- N-wire interface
- open prepress interface
- organization interface
- packet-switching interface
- peripheral interface
- physical interface
- pin-level interface
- power interface
- procedural language interface
- processor interface
- programmable interface
- programmer interface
- seamless interface
- serial interface
- software-to-software interface
- standardized interface
- standard interface
- stream interface
- surface-perspective interface
- sw/hw interface
- task-constrained interface
- text-oriented interface
- transparent interface
- trigger interface
- user interface
- user-friendly interface
- video interface
- virtual interface
- vision interface
- visual/iconic interface
- wimp interfaceEnglish-Russian dictionary of computer science and programming > interface
- 1
- 2
См. также в других словарях:
Proof checking — is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.ee also*Model checking *Abstract interpretation *Static code analysis *Automated theorem proving *Symbolic… … Wikipedia
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
Abstract (law) — In law, an abstract is a brief statement that contains the most important points of a long legal document or of several related legal papers.Abstract of titleThe Abstract of Title, used in real estate transactions, is the more common form of… … Wikipedia
Proof of knowledge — In cryptography, a proof of knowledge is an interactive proof in which the prover succeeds convincing a verifier that it knows something. What it means for a machine to know something is defined in terms of computation. A machine knows something … Wikipedia
Abstract Of Title — A brief history of the titles for a piece of land. The abstract of title lists all of the legal actions that have been performed or used in conjunction with a piece of property. This is used to determine whether or not there is any kind of claim… … Investment dictionary
Interactive proof system — In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… … Wikipedia
Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
Burden of proof (logical fallacy) — In philosophy, the term burden of proof refers to the extent to which, or the level of rigour with which, it is necessary to establish, demonstrate or prove something for it to be accepted as true or reasonable to believe.All logical arguments… … Wikipedia